تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۹,۰۲ ثانیه یافت شد.

1. Abstraction refinement for large scale model checking

المؤلف: / Chao Wang, Gary D. Hachtel, Fabio Somenzi

المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)

موضوع: Computer systems -- Verification -- Mathematical models,Integrated circuits -- Verification -- Mathematical models,Electronic systems -- Verification -- Mathematical model

رده :

QA

76

.

76

.

V47W36

2006

2. Logic synthesis and verification algorithms

المؤلف: Hachtel, Gary D.

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design

رده :

TK

7874

.

75

.

H33

1996

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها